-- MAIN == 0
DEF MAIN:nat == div(1,3)
